Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
71	Computing Fundamentals Salvatore Filippone 2012–2013 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2014-09-23 08:12:56 Software engineering Computer programming Computing Procedural programming languages Conditional Boolean data type C For loop Statement Switch statement Logical connective Subroutine
72	Learn OCaml An Online Learning Center for OCaml Benjamin Canou Gr´egoire Henry Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-03 11:18:23 Software engineering Computer programming Computing Functional languages OCaml Caml Massive open online course Comment Readevalprint loop Foreach loop
73	� EMAPS : AN EXTENDABLE, OBJECT-ORIENTED GIS Stephen M. Ervin, Associate Professor Department of Landscape Architecture Harvard University Graduate School of Design Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:09:30 Software engineering Computer programming Computing Data types Lisp Functional languages Object-oriented programming languages Geographic information system Object-oriented programming Cons Frame language Cellular automaton
74	Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-02-13 10:20:07 Logic Philosophy Abstraction Logic in computer science Proof theory Formal languages Syntax Formal methods Mathematical proof Mathematical logic Eiffel Formal proof
75	Introduction to Smalltalk, VisualWorks - Table of contents  Ivan TomekTable of contents Preface Part 1 Introduction to object-oriented problem solving and the Smalltalk language Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:18 Software engineering Computer programming Software Object-oriented programming languages VisualWorks Class Smalltalk Metaclass Object-oriented programming Widget Symbol Graphical user interface
76	Charles Marsh \| Software Engineer 4634 Frist Campus Center – Princeton, NJ – USA B • Í www.crmarsh.com • crm416 • crm416 Add to Reading List Source URL: www.crmarsh.com Language: English - Date: 2016-06-12 18:28:24 Software engineering Computer programming Computing Scripting languages Ajax Joyent Node.js JavaScript Python React
77	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-06-25 07:48:56 Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness
78	Sparser, Better, Faster GPU Parsing David Hall Taylor Berg-Kirkpatrick John Canny Dan Klein Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2014-04-16 23:03:50 Formal languages Syntax Software engineering Parsing algorithms Natural language parsing Cognitive science Computer programming Compiler construction Parsing Stochastic context-free grammar Formal grammar Parse tree
79	Amoeba Join: Overcoming Structural Fluctuations in XML Data Taro L. Saito Shinichi Morishita Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2007-05-03 17:07:37 Computing Data management Data Query languages B-tree Theoretical computer science Markup languages Functional languages Lowest common ancestor XPath XML tree Amoeba
80	User Defined Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Writing Java UDFs....................... Add to Reading List Source URL: pig.apache.org Language: English - Date: 2016-06-08 16:05:33 Software engineering Computing Computer programming Object-oriented programming languages Concurrent programming languages Subroutines Control flow Cross-platform software User-defined function Eval Scala Java

UPDATE